On the Notion of Substitution
نویسنده
چکیده
We consider a concept of substitutive structure, called “logos”, in order to study simple substitution, independently of formal or programming languages. We provide a definition of simultaneous substitution in an arbitrary logos and use it to prove a completeness theorem expressing that the equational properties of the usual substitution can be proved from the logos axioms only.
منابع مشابه
Substitution as a Device of Grammatical Cohesion in English Contexts
The present study set out to investigate the effect of teaching substitution as a kind of grammatical cohesion on the true identification of confusing substitution elements with cohesive or non-cohesive roles in different contexts and also the production of modal, reporting and conditional contexts through clausal substitution acquaintance. To this end, the following procedures were taken. Firs...
متن کاملInfluence of Co and Fe substitution on optical and structural properties of zinc oxide thin films
Zn0.97TM0.03O (TM = Co, Fe) thin films were deposited onto glass substrates by the sol–gel method and the effects of transition metals substitution on structural and optical properties of ZnO films were investigated. The X-ray diffraction patterns revealed that the films have wurtzite structure. Optical transmittance of the films was recorded in the range of 200 -800 nm wave length and the band...
متن کاملInfluence of Substitution of Peat with Iranian Zeolite(Clinoptilolite) In Peat Medium on Ficus Benjamina Growth
This experiment was designed to characterize the effects of size and concentration of an Iranian clinoptilolite zeolite on the growth ofFicus benjamina (starlight) in peat base media. Ficus benjamina was stock rooted and grown in a peat consisting perlite (2: 1 v/v) (P: Pe), zeolite (10, 20, 30 and 40 v/v %, two sizes 0.5-3 mm and 3-8 mm) instead of peat in P: Pe (2: 1 v/v) media. Ficus benjami...
متن کاملKINETIC STUDIES USING SEMI-EMPIRICAL SELF- CONSISTENT FIELD (SCF) MOLECULAR ORBITAL (MO) METHOD: PART I1 [I] A MODIFIED NEGLECT OFDIATOMIC OVERLAP (MNDO) STUDY OF THE PYROLYSES OF CHLOROETHYL VINYL ETHERS
The effect of monochloro and dichloro substitution into the ethyl portion on the pyrolysis of ethyl vinyl ether has been studied. This involved four possible monosubstituted derivatives and six disubstituted derivatives. For the monochloro derivatives, B- chloro substitution enhanced the rate constant while a- chloro substitution depressed it noticeably. For the dichloro derivatives, substi...
متن کاملChlkowski’s Notion of Shia Mourning Rituals A Critique of Chlkowski`s Notion in the Collection of ‘Shi’ism
The present paper is critique of the article “Popular Shi’i Mourning Rituals” (Article 44) from Shi’ism collection written by Dr. Chlkowski. Although his viewpoint upon Shi’i mourning rituals is written impartially, like the viewpoint of a lot of orientalists it has some deficiencies. With a descriptive statement, he explains the mourning rituals in different Shiite regions around the world. Hi...
متن کاملEstimating the Share and Elasticity of Substitution for Public and Private Health Expenditures in Iran
Background: The rate of substitution for private and public health expenditures is one of the factors that can explain the different effects of public and private health expenditures on health and life expectancy. Therefore, the purpose of this study was to estimate the return to scale, share, and elasticity of the substitution for public and private health expenditures in Iran. Methods: In th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 12 شماره
صفحات -
تاریخ انتشار 2004